Computability theory

Results: 1231



#Item
711Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ftp.jaist.ac.jp

Language: English - Date: 2013-08-06 13:14:53
712Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: mirror.neu.edu.cn

Language: English - Date: 2013-08-06 13:14:53
713University of Szeged / Rózsa Péter / László Kalmár / Lipót Fejér / Eötvös Loránd University / Loránd Eötvös / Stephen Cole Kleene / Computability theory / Péter Komjáth / Hungarian people / Mathematics / Hungary

Microsoft Word - Poster-PeterC.doc

Add to Reading List

Source URL: www.fields.utoronto.ca

Language: English - Date: 2008-09-29 13:47:25
714Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ctan.math.washington.edu

Language: English - Date: 2013-08-06 13:14:53
715Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ftp.cc.uoc.gr

Language: English - Date: 2013-08-06 13:14:53
716Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: download.nus.edu.sg

Language: English - Date: 2013-08-06 13:14:53
717Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ctan.imsc.res.in

Language: English - Date: 2013-08-06 13:14:53
718Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ctan.uni-altai.ru

Language: English - Date: 2013-08-06 12:14:00
719Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: bay.uchicago.edu

Language: English - Date: 2013-08-06 12:14:00
720Computability theory / Boolean algebra / Functions and mappings / Lambda calculus / Theoretical computer science / Monad / Boolean data type / Function / Conditional / Mathematics / Computing / Mathematical logic

Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1

Add to Reading List

Source URL: ctan.yazd.ac.ir

Language: English - Date: 2013-08-06 13:14:53
UPDATE